|
|
Static Analyzer for List Manipulating Programs
Kotoun, Michal ; Lengál, Ondřej (referee) ; Vojnar, Tomáš (advisor)
Creating a software verification tool is a complex task -- one must implement source code parsing, instruction representation, value abstraction, user interface, ... and the analysis itself. Therefore, we decided to create a static analysis framework to prevent unnecessary wheel reinventing by an analyses implementers. We propose a general design of the framework called Angie with a primary focus on usability, and describe a prototype implementation of the framework, including a model analysis based on symbolic memory graphs. Angie is implemented in C++ and uses the LLVM toolchain as the front-end for parsing the source code of analysed programs.
|
|
|
Powertrains of BMW cars
Guláš, Tomáš ; Ramík, Pavel (referee) ; Píštěk, Václav (advisor)
Bachelor's thesis deals with the powertrains of the Munich carmaker BMW. It evaluates their historical development, focuses on the interesting innovative solutions in this domain, describes the current status and the success of BMW in the world market, points to a wide perspective and vision for the future car.
|
|
|
Static Analyzer for List Manipulating Programs
Kotoun, Michal ; Lengál, Ondřej (referee) ; Vojnar, Tomáš (advisor)
Creating a software verification tool is a complex task -- one must implement source code parsing, instruction representation, value abstraction, user interface, ... and the analysis itself. Therefore, we decided to create a static analysis framework to prevent unnecessary wheel reinventing by an analyses implementers. We propose a general design of the framework called Angie with a primary focus on usability, and describe a prototype implementation of the framework, including a model analysis based on symbolic memory graphs. Angie is implemented in C++ and uses the LLVM toolchain as the front-end for parsing the source code of analysed programs.
|
|
|
Powertrains of BMW cars
Guláš, Tomáš ; Ramík, Pavel (referee) ; Píštěk, Václav (advisor)
Bachelor's thesis deals with the powertrains of the Munich carmaker BMW. It evaluates their historical development, focuses on the interesting innovative solutions in this domain, describes the current status and the success of BMW in the world market, points to a wide perspective and vision for the future car.
|
guest ::
